A criterion for separating process calculi

We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Preferences of patients undergoing hemodialysis - results from a questionnaire-based study with 4,518 patients

Janssen IM, Gerhardus A, von Gersdorff G, et al. Preferences of patients undergoing hemodialysis - results from a questionnaire-based study with 4,518 patients. Patient Preference and Adherence. 2015;2015(9):847-855.Background: Chronic kidney disease is an increasing health problem worldwide and in its final stage (stage V) can only be treated by renal replacement therapy, mostly hemodialysis. Hemodialysis has a major influence on the everyday life of patients and many patients report dissatisfaction with treatment. Little is known about which aspects of treatment are considered important by hemodialysis patients. The objective of this study was to rate the relative importance of different outcomes for hemodialysis patients and to analyze whether the relative importance differed among subgroups of patients. Patients and methods: Within the framework of a yearly questionnaire which is distributed among patients receiving hemodialysis by the largest hemodialysis provider in Germany, we assessed the relative importance of 23 outcomes as rated on a discrete visual analog scale. Descriptive statistics were used to rank the outcomes. Subgroup analyses were performed using Mann–Whitney U or Kruskal–Wallis tests. Results: Questionnaires of 4,518 hemodialysis patients were included in the analysis. The three most important outcomes were safety of treatment, health-related quality of life, and satisfaction with care. Further important outcomes were hospital stays, accompanying symptoms, hemodialysis duration, and the improvement or preservation of a good emotional state. Age, profession, and education had the strongest influence on relevant differences of preferences for outcomes; no relevant influence of sex or comorbidity was observed. Conclusion: Outcomes concerning the delivery or provision of care and aspects influencing quality of life are rated by patients to be at least as important as clinical outcomes. Many of the outcomes judged to be important by the patients are not regularly considered in research, evaluation studies, or quality programs

The Attributed Pi Calculus with Priorities

International audienceWe present the attributed $\pi$-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The $\pi$-calculus serves as a constraint language underlying the $\pi$-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed $\pi$-calculus. We show how to encode the $\pi$-calculus with priorities and polyadic synchronization $\pi$@ and thus dynamic compartments, as well as the stochastic $\pi$-calculus with concurrent objects spico. We illustrate the usefulness of the attributed $\pi$-calculus for modeling biological systems at two particular examples: Euglena’s spatial movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage lambda. Furthermore, population-based model is supported beside individual-based modeling. A stochastic simulation algorithm for the attributed $\pi$-calculus is derived from its stochastic semantics. We have implemented a simulator and present experimental results, that confirm the practical relevance of our approach

Back to the Shop Floor: Behavioural Insights From Workplace Sociology

This article compares insights into decision-making and behaviour developed by Kahneman and Tversky in behavioural economics with the main findings from studies of pay incentives in workplace sociology in the middle decades of the 20th century. The article shows how many of the insights offered by behavioural economists, such as loss aversion, were anticipated and considered by the workplace sociologists. It is argued that the sociological studies offer deeper and more convincing accounts of worker behaviour through a better understanding of the role of social structure, context, and social processes in framing and influencing action

Exiles in British sociology

We have all seen them, foreheads wrinkled like a ploughed field, pastel-shaded check summer shirts worn in winter, desks festooned with yellowed index cards covered in hieroglyphics, books like yours only in plainer covers and read more carefully, filthy cigarettes, an accent growing thicker with age. But we have all seen them too, the luxuriant thatch at seventy, the jacket and tie, the tidy desk, the London club and the house in the country, the pipe, the disdain for small talk made all the more intimidating by an English acquired somewhere between grammar school and Oxford. Self-contained in a way only the uprooted can be, mysterious because you never knew what questions to ask them, emissaries from worlds they have lost and you have never known: the Polish gentry, the central European peasantry, Jewish merchants, German workers and, most puzzling of all, the continental European middle class

Class dynamics of development: a methodological note

This article argues that class relations are constitutive of developmental processes and central to understanding inequality within and between countries. In doing so it illustrates and explains the diversity of the actually existing forms of class relations, and the ways in which they interplay with other social relations such as gender and ethnicity. This is part of a wider project to re- vitalise class analysis in the study of development problems and experiences

Body Pedagogics: Embodiment, Cognition and Cultural Transmission

This paper contributes to the growing sociological concern with body pedagogics; an embodied approach to the transmission and acquisition of occupational, sporting, religious and other culturally structured practices. Focused upon the relationship between those social, technological and material means through which institutionalized cultures are transmitted, the experiences of those involved in this learning, and the embodied outcomes of this process, existing research highlights the significance of body work, practical techniques, and the senses to these pedagogic processes. What has yet to be explicated adequately, however, is the embodied importance of cognition to this incorporation of culture. In what follows, I address this lacuna by building on John Dewey’s writings in proposing an approach to body pedagogics sympathetic to the prioritization of physical experience but that recognizes the distinctive properties and capacities of thought and reflexivity in these processes